| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Compilerbau | Fach-/Modulprüfung | 6 | 309090 | ||
| Vorlesung | 273913 | Mo 12:30-14:00 AH VI (2356|051) (×11) Do 12:30-14:00 AH V (2356|050) (×11) | |||
| Übung | 273914 | Mo 15:15-16:45 AH V (2356|050) (×14) Fr 13:00-15:00 5056 (2356|056) (×1) | |||
| Effiziente Algorithmen | Fach-/Modulprüfung | 6 | 275932 | ||
| Vorlesung | 271774 | Di 10:00-12:00 Aula 2 (2352|021) (×1) Do 16:30-19:00 AH II (2350|111) (×1) | |||
| Tutorium | 273115 | Mo 10:30-12:00 5054 (2356|054) (×11) Di 12:30-14:00 5052 (2356|052) (×10) Mi 12:30-14:00 5056 (2356|056) (×11) Mi 18:30-20:00 5052 (2356|052) (×11) Fr 12:30-14:00 5055 (2356|055) (×10) | |||
| Erfüllbarkeitsüberprüfung | Fach-/Modulprüfung | 6 | 369796 | ||
| Komplexitätstheorie | Fach-/Modulprüfung | 6 | 284084 | ||
| Vorlesung | 273990 | ||||
| Übung | 273991 | ||||
| Mathematische Logik II | Fach-/Modulprüfung | 6 | 312379 | ||
| Vorlesung | 268041 | ||||
| Übung | 266557 |